\begin{table}[htp]
\tbl{\label{tb:matchliftv}   \small Comparison of time and cost of different algorithms in the Matchlift-Variant domain.}{
\setlength{\tabcolsep}{3pt}
\begin{tabular}{|l|c|c|c|c|c|c|c|c|c|c|c|c|}
\hline
 \multirow{3}{*}{P}& \multicolumn{2}{|c|}{MiniSAT} & \multicolumn{8}{|c|}{BB-DPLL} & \multicolumn{2}{|c|}{MCC} \\
 \cline{2-13}
 & \multicolumn{2}{|c|}{no-opt} & \multicolumn{2}{|c|}{base} & \multicolumn{2}{|c|}{+h} & \multicolumn{2}{|c|}{+heu} & \multicolumn{2}{|c|}{all} & \multicolumn{2}{|c|}{}\\
\cline{2-13}
 & T & C & T & C & T & C & T & C & T & C & T & C \\
\hline
1 & 2.5 & 840 & 2.5 & 220 & 2.4 & 220 & 2.4 & 220 & 2.4 & 220 & 0.51 & 220  \\ 
2 & 1.7 & 1294 & 1.8 & 254 & 2.0 & 254 & 1.7 & 254 & 1.7 & 254 & 0.48 & 254  \\ 
3 & 5.7 & 1336 & 5.9 & 392 & 6.9 & 392 & 5.9 & 392 & 5.7 & 392 & 35.16 & 392  \\ 
4 & 6.9 & 1624 & 8.7 & 342 & 11.1 & 342 & 7.2 & 342 & 6.7 & 342 & 29.23 & 342  \\ 
5 & 9.4 & 1962 & 9.9 & 482 & 16.1 & 482 & 9.6 & 482 & 16.0 & 482 & 175.41 & 482  \\ 
6 & 5.9 & 1454 & 14.1 & 362 & 10.6 & 362 & 6.3 & 362 & 7.2 & 362 & 70.26 & 362  \\ 
7 & 9.9 & 1636 & 20.9 & 396 & 15.5 & 396 & 9.9 & 396 & 10.0 & 396 & 172.41 & 396  \\ 
8 & 53.3 & 1484 & 72.6 & 290 & 92.6 & 290 & 62.8 & 290 & 52.8 & 290 & 505.87 & 290  \\ 
9 & 22.8 & 1668 & 225.1 & 540 & 216.5 & 534 & 23.0 & 534 & 52.5 & 534 & 760.17 & 534  \\ 
10 & 94.3 & 1726 & 364.5 & 418 & 440.5 & 416 & 143.1 & 416 & 94.6 & 416 & 666.70 & 416  \\ 
11 & 361.4 & 1398 & 415.4 & 476 & 440.3 & 476 & 361.5 & 476 & 366.1 & 476 & -  & - \\ 
12 & 3.1 & 1008 & 4.9 & 358 & 16.5 & 358 & 3.2 & 358 & 2.3 & 358 & 110.57 & 358  \\ 
\hline
\end{tabular}
}
\end{table}
